I've implemented all the tests.
I refactored my code and some of the code that was already present to decrease nesting.
I think I've got the logic to a good spot.
If we can determine that a token is either a type or a function, we don't add the static modifier, as it doesn't really make sense for them.
If the type cannot be determined, we decide whether to add the static modifier based solely on the scope of its declaration.
The only desirable thing that has not been added is that tokens of type .property don't inherit the static modifier from their parents. I could not find a way to do that without iterating up the chain of field accesses, like I had done previously.